On the Secure Obfuscation of Deterministic Finite Automata

In this paper, we show how to construct secure obfuscation for Deterministic Finite Automata, assuming non-uniformly strong one-way functions exist. We revisit the software protection approaches originally proposed by [B79,G87,GO96,K80] and revise them to the current obfuscation setting of Barak et al. [BGI+01]. Under this model, we introduce an efficient oracle that retains some ``small secret about the original program. Using this secret, we can construct an obfuscator and two-party protocol that securely obfuscates Deterministic Finite Automata against malicious adversaries. The security of this model retains the strong ``virtual black box property originally proposed in [BGI+01] while incorporating the stronger condition of dependent auxiliary inputs in [GTK05]. Additionally, we further show that our techniques remain secure under concurrent self-composition with adaptive inputs and that Turing machines are obfuscatable under this model

Search for Ferromagnetism in doped semiconductors in the absence of transition metal ions

In contrast to semiconductors doped with transition metal magnetic elements, which become ferromagnetic at temperatures below ~ 100K, semiconductors doped with non-magnetic ions (e.g. silicon doped with phosphorous) have not shown evidence of ferromagnetism down to millikelvin temperatures. This is despite the fact that for low densities the system is expected to be well modeled by the Hubbard model, which is predicted to have a ferromagnetic ground state at T=0 on 2- or 3-dimensional bipartite lattices in the limit of strong correlation near half-filling. We examine the impurity band formed by hydrogenic centers in semiconductors at low densities, and show that it is described by a generalized Hubbard model which has, in addition to strong electron-electron interaction and disorder, an intrinsic electron-hole asymmetry. With the help of mean field methods as well as exact diagonalization of clusters around half filling, we can establish the existence of a ferromagnetic ground state, at least on the nanoscale, which is more robust than that found in the standard Hubbard model. This ferromagnetism is most clearly seen in a regime inaccessible to bulk systems, but attainable in quantum dots and 2D heterostructures. We present extensive numerical results for small systems that demonstrate the occurrence of high-spin ground states in both periodic and positionally disordered 2D systems. We consider how properties of real doped semiconductors, such as positional disorder and electron-hole asymmetry, affect the ground state spin of small 2D systems. We also discuss the relationship between this work and diluted magnetic semiconductors, such as Ga_(1-x)Mn_(x)As, which though disordered, show ferromagnetism at relatively high temperatures.Comment: 47 page

Introduction to dynamical horizons in numerical relativity

This paper presents a quasi-local method of studying the physics of dynamical black holes in numerical simulations. This is done within the dynamical horizon framework, which extends the earlier work on isolated horizons to time-dependent situations. In particular: (i) We locate various kinds of marginal surfaces and study their time evolution. An important ingredient is the calculation of the signature of the horizon, which can be either spacelike, timelike, or null. (ii) We generalize the calculation of the black hole mass and angular momentum, which were previously defined for axisymmetric isolated horizons to dynamical situations. (iii) We calculate the source multipole moments of the black hole which can be used to verify that the black hole settles down to a Kerr solution. (iv) We also study the fluxes of energy crossing the horizon, which describes how a black hole grows as it accretes matter and/or radiation. We describe our numerical implementation of these concepts and apply them to three specific test cases, namely, the axisymmetric head-on collision of two black holes, the axisymmetric collapse of a neutron star, and a non-axisymmetric black hole collision with non-zero initial orbital angular momentum.Comment: 20 pages, 16 figures, revtex4. Several smaller changes, some didactic content shortene

Are Metrics Enough? Guidelines for Communicating and Visualizing Predictive Models to Subject Matter Experts

Presenting a predictive model's performance is a communication bottleneck that threatens collaborations between data scientists and subject matter experts. Accuracy and error metrics alone fail to tell the whole story of a model - its risks, strengths, and limitations - making it difficult for subject matter experts to feel confident in their decision to use a model. As a result, models may fail in unexpected ways or go entirely unused, as subject matter experts disregard poorly presented models in favor of familiar, yet arguably substandard methods. In this paper, we describe an iterative study conducted with both subject matter experts and data scientists to understand the gaps in communication between these two groups. We find that, while the two groups share common goals of understanding the data and predictions of the model, friction can stem from unfamiliar terms, metrics, and visualizations - limiting the transfer of knowledge to SMEs and discouraging clarifying questions being asked during presentations. Based on our findings, we derive a set of communication guidelines that use visualization as a common medium for communicating the strengths and weaknesses of a model. We provide a demonstration of our guidelines in a regression modeling scenario and elicit feedback on their use from subject matter experts. From our demonstration, subject matter experts were more comfortable discussing a model's performance, more aware of the trade-offs for the presented model, and better equipped to assess the model's risks - ultimately informing and contextualizing the model's use beyond text and numbers

HyperNP: Interactive Visual Exploration of Multidimensional Projection Hyperparameters

Projection algorithms such as t-SNE or UMAP are useful for the visualization of high dimensional data, but depend on hyperparameters which must be tuned carefully. Unfortunately, iteratively recomputing projections to find the optimal hyperparameter value is computationally intensive and unintuitive due to the stochastic nature of these methods. In this paper we propose HyperNP, a scalable method that allows for real-time interactive hyperparameter exploration of projection methods by training neural network approximations. HyperNP can be trained on a fraction of the total data instances and hyperparameter configurations and can compute projections for new data and hyperparameters at interactive speeds. HyperNP is compact in size and fast to compute, thus allowing it to be embedded in lightweight visualization systems such as web browsers. We evaluate the performance of the HyperNP across three datasets in terms of performance and speed. The results suggest that HyperNP is accurate, scalable, interactive, and appropriate for use in real-world settings

Curved grating fabrication techniques for concentric-circle grating, surface-emitting semiconductor lasers

We describe the fabrication and operational characteristics of a novel, surface-emitting semiconductor laser that makes use of a concentric-circle grating to both define its resonant cavity and to provide surface emission. A properly fabricated circular grating causes the laser to operate in radially inward- and outward-going circular waves in the waveguide, thus, introducing the circular symmetry needed for the laser to emit a beam with a circular cross-section. The basic circular-grating-resonator concept can be implemented in any materials system; an AlGaAs/GaAs graded-index, separate confinement heterostructure (GRINSCH), single-quantum-well (SQW) semiconductor laser, grown by molecular beam epitaxy (MBE), was used for the experiments discussed here. Each concentric-circle grating was fabricated on the surface of the AlGaAs/GaAs semiconductor laser. The circular pattern was first defined by electron-beam (e-beam) lithography in a layer of polymethylmethacrylate (PMMA) and subsequently etched into the semiconductor surface using chemically-assisted (chlorine) ion-beam etching (CAIBE). We consider issues that affect the fabrication and quality of the gratings. These issues include grating design requirements, data representation of the grating pattern, and e-beam scan method. We provide examples of how these techniques can be implemented and their impact on the resulting laser performance. A comparison is made of the results obtained using two fundamentally different electron-beam writing systems. Circular gratings with period lambda = 0.25 microns and overall diameters ranging from 80 microns to 500 microns were fabricated. We also report our successful demonstration of an optically pumped, concentric-circle grating, semiconductor laser that emits a beam with a far-field divergence angle that is less than one degree. The emission spectrum is quite narrow (less than 0.1 nm) and is centered at wavelength lambda = 0.8175 microns

The hydrodynamic footprint of a benthic, sedentary fish in unidirectional flow

Author Posting. © Acoustical Society of America, 2007. This article is posted here by permission of Acoustical Society of America for personal use, not for redistribution. The definitive version was published in Journal of the Acoustical Society of America 122 (2007): 1227-1237, doi:10.1121/1.2749455.Mottled sculpin (Cottus bairdi) are small, benthic fish that avoid being swept downstream by orienting their bodies upstream and extending their large pectoral fins laterally to generate negative lift. Digital particle image velocimetry was used to determine the effects of these behaviors on the spatial and temporal characteristics of the near-body flow field as a function of current velocity. Flow around the fish's head was typical for that around the leading end of a rigid body. Flow separated around the edges of pectoral fin, forming a wake similar to that observed for a flat plate perpendicular to the flow. A recirculation region formed behind the pectoral fin and extended caudally along the trunk to the approximate position of the caudal peduncle. In this region, the time-averaged velocity was approximately one order of magnitude lower than that in the freestream region and flow direction varied over time, resembling the periodic shedding of vortices from the edge of a flat plate. These results show that the mottled sculpin pectoral fin significantly alters the ambient flow noise in the vicinity of trunk lateral line sensors, while simultaneously creating a hydrodynamic footprint of the fish's presence that may be detected by the lateral line of nearby fish.This work was funded in part by an NIDCD program project grant to the Parmly Hearing Institute, Loyola University Chicago (W. Yost, PI, S. Coombs, Co-PI)

Effect of Genetic Variants, Especially CYP2C9 and VKORC1, on the Pharmacology of Warfarin

The genes encoding the cytochrome P450 2C9 enzyme (CYP2C9) and vitamin K-epoxide reductase complex unit 1 (VKORC1) are major determinants of anticoagulant response to warfarin. Together with patient demographics and clinical information, they account for approximately one-half of the warfarin dose variance in individuals of European descent. Recent prospective and randomized controlled trial data support pharmacogenetic guidance with their use in warfarin dose initiation and titration. Benefits from pharmacogenetics-guided warfarin dosing have been reported to extend beyond the period of initial dosing, with supportive data indicating benefits to at least 3 months. The genetic effects of VKORC1 and CYP2C9 in African and Asian populations are concordant with those in individuals of European ancestry; however, frequency distribution of allelic variants can vary considerably between major populations. Future randomized controlled trials in multiethnic settings using population-specific dosing algorithms will allow us to further ascertain the generalizability and cost-effectiveness of pharmacogenetics-guided warfarin therapy. Additional genome-wide association studies may help us to improve and refine dosing algorithms and potentially identify novel biological pathways

Criticality in one dimension with inverse square-law potentials

It is demonstrated that the scaled order parameter for ferromagnetic Ising and three-state Potts chains with inverse-square interactions exhibits a universal critical jump, in analogy with the superfluid density in helium films. Renormalization-group arguments are combined with numerical simulations of systems containing up to one million lattice sites to accurately determine the critical properties of these models. In strong contrast with earlier work, compelling quantitative evidence for the Kosterlitz--Thouless-like character of the phase transition is provided.Comment: To appear in Phys. Rev. Let